Automatic programming - PDFSEARCH.IO - Document Search Engine

Automatic programming
Results: 566

#	Item
161	Microsoft Word - Final_Interact11.doc Add to Reading List Source URL: www.eembc.org Language: English - Date: 2013-04-08 17:03:50 Automatic parallelization Multi-core processor Speedup Thread Lock Task parallelism Central processing unit Data parallelism OpenMP Parallel computing Computing Computer programming
162	Automatic Binding-related Error Diagnosis in Logic Programs PaweÃl Pietrzak1 and Manuel V. Hermenegildo1,2 1 School of Computer Science, Technical University of Madrid (UPM) Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2007-11-07 05:34:04 Logic programming Software engineering Assertion Debugging Abstraction SLD resolution Abstract interpretation Tree Logic in computer science Computer programming Theoretical computer science
163	Autoconf Creating Automatic Configuration Scripts for version8edd5, 1 January 1970 David MacKenzie Ben Elliston Add to Reading List Source URL: hydra.nixos.org Language: English - Date: 2009-12-04 10:29:18 Build automation Compiling tools Macro programming languages Programming language implementation C programming language Autoconf GNU build system M4 Configure script Software Computing Computer programming
164	Compiler Support and Performance Tuning of OpenMP Programs on SunFire Servers Myungho Lee, Larry Meadows, Darryl Gove, Dominic Paulraj, Sanjay Goil Compiler Performance Engineering Group Brian Whitney Strategic Applicati Add to Reading List Source URL: www.compunity.org Language: English - Date: 2007-10-15 03:40:56 Parallel computing Compiler optimizations Programming language implementation Application programming interfaces Fortran OpenMP Automatic parallelization Standard Performance Evaluation Corporation Loop optimization Computing Computer programming Software engineering
165	Automatic Streamization in GCC Antoniu Pop MINES ParisTech, Centre de Recherche en Informatique, Mathématiques et Systèmes Sebastian Pop Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2009-07-21 08:36:55 OpenMP Parallel computing Software engineering The Alphabet Cipher Four-square cipher Computer programming Computing Fortran
166	Optimization opportunities based on the polyhedral model in GRAPHITE How much impact has GRAPHITE already? Tobias Grosser University of Passau Add to Reading List Source URL: www.grosser.es Language: English - Date: 2010-07-25 08:26:30 Programming language theory Loop optimization Static single assignment form Polytope model Automatic parallelization GNU Compiler Collection Vectorization Loop tiling Fortran Computing Compiler optimizations Software engineering
167	Winter/Springis Here! See eFORMz Add to Reading List Source URL: www.minisoft.com Language: English - Date: 2014-10-30 14:19:28 Computer printers Radio-frequency identification Office equipment Label printer Label Eltron Programming Language Packaging and labeling Intermec Shipping list Technology Automatic identification and data capture Business
168	Perl versiondocumentation - Memoize::Expire NAME Memoize::Expire - Plug-in module for automatic expiration of memoized values SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:23:01 Perl Computer performance Memoization Software optimization Search algorithms Procedural programming languages Cache Mark Jason Dominus Perl module Computing Computer programming Software engineering
169	Scalasca 1.4 \| User Guide Scalable Automatic Performance Analysis March 2013 The Scalasca Development Team Add to Reading List Source URL: www.scc.kit.edu Language: English - Date: 2013-04-16 05:54:09 Software optimization Parallel computing System administration Application programming interfaces Profiling Programming language implementation Pin Instrumentation Program optimization Computing Computer programming Software engineering
170	Formalizing Semantics with an Automatic Program Verifier? Martin Clochard1,2,3 , Jean-Christophe Filliˆatre2,3 , Claude March´e3,2 , and Andrei Paskevich2,3 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-28 14:20:41 Theoretical computer science Formal languages Parsing Recursion Model theory Attribute grammar First-order logic Map Continuation-passing style Software engineering Computing Computer programming

UPDATE